Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
701	A Graphical Language for Proof Strategies Gudmund Grov1 , Aleks Kissinger2 and Yuhui Lin1 1 School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK, {G.Grov,Y.Lin}@hw.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 06:14:48 Graph rewriting Search algorithms Lambda calculus Graph Depth-first search Combinatory logic Planar graph Graph theory Theoretical computer science Mathematics
702	Dynamic Proof Theories For Input/Output Logic Christian Straßer, Mathieu Beirlaen, and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University August 28, 2013 Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-08-29 06:09:36 Non-classical logic Modal logic Philosophical logic Model theory Deontic logic Default logic Function Interpretation Dc Logic Mathematical logic Mathematics
703	ON THE NECESSITY OF (SOMETIMES) BEING SYNTHETIC COMMENT ON POGGIOLESI Giuseppe Primiero Universiteit Gent IEG – University of Oxford Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-19 09:13:33 Non-classical logic Mathematical logic Logical syntax Mathematical proof Paraconsistent logic Intuitionism Analytic proof Modal logic Formal proof Logic Philosophical logic Proof theory
704	The Four Colour Theorem Vincent Schlegel University of Adelaide August 17, 2012 Add to Reading List Source URL: www.aums.org.au Language: English - Date: 2013-10-07 19:22:42 Planar graphs Four color theorem Percy John Heawood Theorem Mathematical proof Five color theorem Francis Guthrie Kempe chain Graph theory Mathematics Graph coloring
705	Extending the proof methods and critics of a proof planner Daniel Raggi NI VER Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Mathematical logic Logical consequence Philosophical logic Mathematical proof Entailment Sequent calculus Conjecture Mathematical induction Logic Mathematics Proof theory
706	Proving the Security of AES Substitution-Permutation Network Thomas Baign`eres? and Serge Vaudenay EPFL http://lasecwww.epfl.ch Add to Reading List Source URL: www.baigneres.net Language: English - Date: 2013-07-24 10:25:38 Entailment Logical consequence Metalogic Curry–Howard correspondence Advanced Encryption Standard Orbifold Measure of non-compactness Logic Deduction Proof theory
707	Accessibility, Matching, Use: on limitations of computing in a distributed setting Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-18 06:39:21 Dependently typed programming Logic in computer science Philosophy of computer science Type theory Mathematics Ordinal number Computer science Proof theory Mathematical logic Curry–Howard correspondence
708	A SRL challenge: extracting proof strategies from exemplar proofs Gudmund Grov, Ekaterina Komendantskaya & Alan Bundy Interactive Theorem Provers • ...are based on higher-order languages/type theory; • ...provide a r Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Proof theory Mathematical logic Formal sciences Proof assistant Mathematical proof Theorem Proof KeY Logic Mathematics Theoretical computer science
709	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-01 14:35:06 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
710	Completeness of Propositional Logic as a Program Ryan Stansifer Department of Computer Sciences Florida Institute of Technology Melbourne, Florida USA 32901 Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2006-01-03 14:49:24 Propositional calculus Proof theory Logical syntax Fuzzy logic Deduction theorem Contradiction Axiom Theorem BL Logic Mathematical logic Mathematics

UPDATE